# ===================================================================
# Matrix Project
# Copyright FEM-NUAA.CN 2020
# ===================================================================

include ..\Makefile.in

objects = Mat_def.vo list_function.vo Mat_map.vo Mat_IO.vo   \
	Mat_add.vo Mat_sub.vo Mat_trans.vo Mat_mult.vo Mat_mult_lemma.vo Mat_trans_lemma.vo Mat_make.vo\
	Matrix_Module.vo \
	RMatrix.vo RMtacs.vo ZMatrix.vo CMatrix.vo FMatrix.vo

all : $(objects)

%.vo : %.v
	$(COQC) $(COQCFLAGS) $^

.PHONY : clean

clean :
	rm -f *.vo *.vok *.vos *.glob .*.aux